Отношение покрытия

Отношение покрытия

Определение:

$a \prec b$ ($b$ покрывает $a$), если $a \preccurlyeq b$; $a \neq b$; $a \preccurlyeq c \preccurlyeq b \implies (c = a \text{ или } c = b)$.